翻訳と辞書 Words near each other ・ Birdy ・ Birdy (bicycle) ・ Birdy (Birdy album) ・ Birdy (film) ・ Birdy (novel) ・ Birdy (Peter Gabriel album) ・ Birdy (singer) ・ Birdy Airlines ・ Birdy and the Beast ・ Birdy discography ・ Birdy Nam Nam ・ Birdy Sweeney ・ Birdy the Mighty ・ Birdz ・ BirdZerk! ・ Bird–Meertens formalism ・ Bire Kpatuos Game Reserve ・ Bire Wala Jattan ・ Birech ・ Birecik ・ Birecik Bridge ・ Birecik Dam ・ Birecik Dam Cemetery ・ Birectified 16-cell honeycomb ・ Birefringence ・ Biregular graph ・ Birel ・ Birely, Hillman & Streaker ・ Bireme ・ Bireme (horse) Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Bird–Meertens formalism ： ウィキペディア英語版 Bird–Meertens formalism The Bird–Meertens formalism is a calculus for deriving programs from specifications (in a functional-programming setting) by a process of equational reasoning. It was devised by Richard Bird and Lambert Meertens as part of their work within IFIP Working Group 2.1. It is sometimes referred to in publications as BMF, as a nod to Backus-Naur Form. Facetiously it is also referred to as ''Squiggol'', because of the "squiggly" symbols it uses. A less-used variant name, but actually the first one suggested, is ''SQUIGOL''. == See also == * Catamorphism * Anamorphism * Paramorphism * Hylomorphism 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Bird–Meertens formalism」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.